121. Programmation en mathematiques numeriques, Besancon 7-14 Septtembre, 1966, [Actes.]
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming (Mathematics) - Congresses,Numerical analysis - Congresses,Matrices - Congresses
رده :
519
.
708
Co-P
122. Progress in mathematical programming:interior-point & related
پدیدآورنده: MEGIDDO,NIMROD
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-CONGRESSES , LINEAR PROGRAMMING-CONGRESSES
رده :
QA
402
.
5
.
P785
1987
123. Recent advances mathematical programming
پدیدآورنده: / Edited by Robert L Graves [and] Philip wolfe
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Programming (Mathematics) congresses
رده :
QA
264
.
G7
124. Semantics and algebraic specificatio
پدیدآورنده: / Jens Palsberg (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
رده :
QA
,
76
.
7
,.
S435
,
2009
125. Semantics and algebraic specification
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
126. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده: / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
127. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
128. Symbolic computation : applications to scientific computing
پدیدآورنده: edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
129. The sharpest cut :
پدیدآورنده: edited by Martin Grötschel.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial optimization, Congresses.,Programming (Mathematics), Congresses.,Combinatória (congressos),Combinatorial optimization.,Kombinatorische Optimierung.,Kombinatorische Optimierung.,Otimização combinatória (congressos),Programming (Mathematics)
رده :
QA402
.
5
.
S523
2004
130. The sharpest cut :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming (Mathematics) ; Congresses ; Combinatorial optimization ; Congresses ;
131. The sharpest cut
پدیدآورنده: / edited by Martin Greotschel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Combinatorial optimization--Congresses,Programming (Mathematics)--Congresses,Combinatorial optimization--Congresses
رده :
QA
,
402
.
5
,.
S523
,
2004
132. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده: Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
133. Topics in interval analysis
پدیدآورنده: edited by E. Hansen,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Interval analysis )Mathematics( - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA
.
S92
297
1968
